Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
fpga
2
high assurance
1 ?
 21,213,375 websites (safe search)

  1. Galois: Home

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    galois.com - 2009-03-07

  2. Galois: cryptol

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    www.cryptol.net - 2009-02-14

dsp2 asic1 software7 plm specialists1 tools4 audio4 computer5 beratung4 multi-level security1 laura mckinney1 design7 mils1 digital5 secure collaboration1 hardware4 process3 tirol2 hall2 analog2 product artifact protection1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.